例句與造句

1. Mills mess state transition diagrams
   米爾斯錯綜狀態(tài)變換圖示
2. State transition diagram
   狀態(tài)轉移圖
3. For documenting a screen flow , we also like to use state transition diagrams
   對于為屏幕流編寫文檔，我們也希望使用狀態(tài)轉換圖。
4. That process can be described with using a state transition diagram , such as the one in figure 2 , that shows the stages in the lifecycle of an individual order being managed
   該流程可以使用狀態(tài)轉換圖( std )進行描述，如圖2中所示，其顯示了受管理的單個訂單的生命周期的各個階段。
5. State transition diagram . another formalized diagram that breaks the software into basic states , or conditions , and shows the means for moving from one state to the next
   《狀態(tài)轉移圖》 ? ?也是一個正式圖表，它描述軟件怎樣從一個狀態(tài)轉到另一狀態(tài)，以及從一個狀態(tài)轉到另一個狀態(tài)的原因、方法。
6. It's difficult to find state transition diagram in a sentence. 用state transition diagram造句挺難的
7. The software of the devicenet interface was compiled by c51 , including the duplicate mac id detect , the predefined master / slave connection set , the state transition diagram and so on
   Devicenet通訊接口的軟件設計采用c51語言來實現。重點設計了從站的重復macid檢測、預定義主從方式通訊以及從站的狀態(tài)轉換等軟件模塊。
8. A business state machine is graphically specified by a state transition diagram that shows its states , possible transitions between the states with the events that trigger them , and the resulting operations
   業(yè)務狀態(tài)機是由狀態(tài)轉移圖以圖形方式指定的，狀態(tài)轉移圖顯示其狀態(tài)、狀態(tài)間可能的轉移和觸發(fā)狀態(tài)轉移的事件，以及作為結果的操作。
9. The disadvantage of extended state transition diagram is very complex , so we used petri net to analyze systems . petri net has many virtues . it can easily describe the actions of systems
   但是由于這種擴展的狀態(tài)圖分析方法較復雜,而且也不能細致的描述具體系統(tǒng)的一些具體的特性,因此提出使用基于spn的分析方法,基于spn的分析方法能夠非常細致的刻畫具體系統(tǒng),非常真實的描述系統(tǒng)的行為。
10. It makes possible that system can be verified without constructing the global state transition diagram . furthermore , we make use of the hierarchies in compositional verification , which makes it possible to substitute some components of implementation with abstract specifications ( which usually have smaller state space )
    此外，根據statecharts的特點把層次結構加入到組合驗證的過程中，使得對實現的驗證可以通過把系統(tǒng)的某些精化部分用更抽象的規(guī)范(通常有更小的狀態(tài)空間)代替來進行。
11. Aiming at the design and implementation of the complex realtime control system , the thesis takes example for the intelligent manipulator , giving a structure of the hierarchical and distributed control system ( hdcs ) based on the realtime control system ( rcs ) module , advancing the analysis and design method based on the task decomposition for the complex control system , and raising to use the state transition diagrams to describe the work flow of every control task . besides , the thesis illustrates how to realize the state transition diagrams by the state tables . the state tables convert the state transition diagrams into computer language , like c + + , so as to complete the control task
    本文針對復雜實時控制系統(tǒng)的設計與實現，以智能機械手控制系統(tǒng)為實例，給出一種基于實時控制系統(tǒng)rcs ( realtimecontrolsystem ，簡稱rcs )模塊的遞階分布控制系統(tǒng)結構；提出基于任務分解的復雜控制系統(tǒng)的分析與設計方法；提出用狀態(tài)轉換圖描述控制任務的實現流程，并由狀態(tài)表將狀態(tài)轉換圖轉化為計算機能夠處理的程序設計語言(如c + + ) ，以此實現整個控制任務。
12. Verifying the soundness of the uml statecharts model can be translated into the verification of the soundness of the global reachable state transition diagram , and the algorithms verifying the soundness and the properties of semantic - related are given . at the aspect of verifying the consistency of temporal constraints of workflow , the time events are added into the uml statecharts , then the rules translating the extended uml statecharts into timed automata are given . the upper constraints ( the most time interval between two tasks ) , lower constraints ( the least time interval between two tasks ) and deadline constraints are defined by tctl . the consistency of these constraints in build time , instantiation time and run - time are defined respectively
    在驗證工作流時序約束一致性方面,在uml狀態(tài)圖中加入了時間事件,給出了將擴展后的uml狀態(tài)圖轉化為時間自動機的規(guī)則,用時間計算樹邏輯定義了兩個任務間的最大、最小時間間隔(上、下界約束)和工作流的最終期限約束,并給出了這三類約束分別在創(chuàng)建階段、實例化階段和運行階段的一致性定義,通過alur的算法對時序約束一致性進行驗證。
13. Therefore , two testing methods are put forward in the phase of class testing . the first is the method of state transition diagram - based testing which is presented on the specific characteristics of oos . the second method is the technology of data flow testing on class which improves the traditional data flow testing and can be applied to class testing
    類測試是面向對象軟件測試的關鍵，因此在類測試階段，提出了兩種測試方法，一種是根據面向對象軟件自身的特點而提出的測試方法，即基于狀態(tài)轉移圖的測試；另一種則是改進已有的數據流測試技術，使之能夠應用于類的測試，即類的數據流測試技術。
14. Then , we discussed the current method of security analysis of intrusion tolerance systems , which is state transition diagram . but state transition diagram can only describe the action of whole system , the result is very particular , so we put forward a new method , named extended state transition diagram , that can describe systems in detail , and then we compared these two results
    討論了目前對入侵容忍系統(tǒng)的分析方法,大多采取抽象狀態(tài)圖的分析方法,但是狀態(tài)圖只能刻畫系統(tǒng)的整體行為,分析出的結果概括,不能細致的分析出系統(tǒng)的性能,因此本文提出一種擴展的狀態(tài)圖分析方法,用更加細化的狀態(tài)擴展原來的狀態(tài)圖,對傳統(tǒng)分析方法和擴展的狀態(tài)圖分析方法的分析結果進行了比較。
15. The research work on dhcpv6 within ietf is still in its preliminary phase and most documents are in the form of " draft proposal " apart from two in rfcs . so far , there is no dhcpv6 software around internationally ; hence development of an experimental dhcpv6 prototype would be meaningful both in understanding and improving dhcpv6 under development . having studied tens of ietf documents and references , a background analysis on ipv4 / ipv6 and dhcpv4 / dhcpv6 is presented and comprehensive state transition diagrams / tables and time sequence diagrams for dhcpv6 are derived from the description in natural language , which may help in understanding and implementation of dhcpv6
    本文作者在參閱大量外文資料的背景下對ipv4 dhcpv4及ipv6 dhcpv6做了較深入的分析和比較，在參考部分dhcpv4工作模型的基礎上；根據已有的dhcpv6建議草案和rfc文本中自然語言的描述，探討性地采用狀態(tài)變遷圖表和時序圖的方式描述了dhcpv6客戶機和服務器工作狀態(tài)變遷和信息交換過程：在此基礎上初步開發(fā)出一套linux環(huán)境下的支持dhcpv6協(xié)議軟件，并在實驗室內對該軟件進行了初步的測試。
16. This dissertation focuses on the problems how to analyze the security of intrusion tolerance systems , especially researched the theory and the model of intrusion tolerance , put forward an improved model of intrusion tolerance system ; we analyzed the method of the security analysis of intrusion tolerance system and its disadvantages , put forward using extended state transition diagram and petri net to analyze intrusion tolerance systems
    本文圍繞如何對入侵容忍系統(tǒng)進行分析進行研究,主要研究了入侵容忍的基本理論以及入侵容忍系統(tǒng)的模型,提出改進的模型;分析了現在的入侵容忍的評價方法以及存在的缺點,提出了使用擴展狀態(tài)圖和petri網對入侵容忍系統(tǒng)進行分析。